;count = 0;.................................  %retval = alloca i32...................
;executing alloc
;.................................  %0 = alloca i32...................
;executing alloc
;.................................  %a = alloca i32...................
;executing alloc
;.................................  %b = alloca i32...................
;executing alloc
;.................................  %c = alloca i32...................
;executing alloc
;.................................  %"alloca point" = bitcast i32 0 to i32...................
;**********Cast
;.................................  store i32 5, i32* %a, align 4...................
;executing Store
;.................................  store i32 7, i32* %b, align 4...................
;executing Store
;.................................  %1 = load i32* %a, align 4...................
;executing Load
;.................................  %2 = load i32* %b, align 4...................
;executing Load
;.................................  %3 = add nsw i32 %1, %2...................
;executing binary operand instruction
;from valtable   %a = alloca i32
;is a constant
;operand found ********************
;from valtable   %b = alloca i32
;is a constant
;operand found ********************
;.................................  store i32 %3, i32* %c, align 4...................
;executing Store
;.................................  %4 = load i32* %a, align 4...................
;executing Load



hehehe


;.................................  %4 = load i32* %b, align 4...................
;executing Load



hehehe


;.................................  %4 = add nsw i32 %1, %2...................
;executing binary operand instruction
;from valtable   %a = alloca i32
;is a constant
;operand found ********************
;from valtable   %b = alloca i32
;is a constant
;operand found ********************
;.................................  store i32 %3, i32* %b, align 4...................
;executing Store
;.................................  %4 = load i32* %b, align 4...................
;executing Load
;.................................  store i32 %4, i32* %a, align 4...................
;executing Store
;.................................  store i32 0, i32* %0, align 4...................
;executing Store
;.................................  %5 = load i32* %0, align 4...................
;executing Load
;.................................  store i32 %5, i32* %retval, align 4...................
;executing Store
;.................................  br label %return...................
;*****************terminator
;count = 1;.................................  %retval1 = load i32* %retval...................
;executing Load
;.................................  ret i32 %retval1...................
;*****************terminator
  %retval = alloca i32
  %0 = alloca i32
  %a = alloca i32
  %b = alloca i32
  %c = alloca i32
  %"alloca point" = bitcast i32 0 to i32
  store i32 5, i32* %a, align 4
  store i32 7, i32* %b, align 4
  %1 = load i32* %a, align 4
  %2 = load i32* %b, align 4
  %3 = add nsw i32 %1, %2
  store i32 %3, i32* %c, align 4
  store i32 %3, i32* %b, align 4
  %4 = load i32* %b, align 4
  store i32 %4, i32* %a, align 4
  store i32 0, i32* %0, align 4
  %5 = load i32* %0, align 4
  store i32 0, i32* %retval, align 4
  br label %return
  %retval1 = load i32* %retval
  ret i32 %retval1
